Books by author Corina S. Pasareanu

Showing 1 – 5 out of 5 results

1. 

   Model Checking Software

   Corina S. Pasareanu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.49 €

   Sale 7 %

   You save 4.26 €

   Buy
2. 

   Symbolic Execution and Quantitative Reasoning

   Corina S. Pasareanu | Springer International Publishing AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   25.29 €

   Sale 9 %

   You save 2.76 €

   Buy
3. 

   Formal Aspects of Component Software

   Corina S. Pasareanu, Gwen Salaün | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.36 €

   Sale 7 %

   You save 3.95 €

   Buy
4. 

   Computer Aided Verification

   Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.49 €

   Sale 7 %

   You save 4.26 €

   Buy
5. 

   Computer Aided Verification

   Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.49 €

   Sale 7 %

   You save 4.26 €

   Buy

For a small fee elegant gift-wrap is available. Find out more